document.write('014200');