document.write('402312');