document.write('95612');