document.write('95142');