document.write('3142')