document.write('6142')