document.write('3142');