document.open() document.write('9402') document.close()