document.write('017342');