document.write('6023')