document.write('5142');