document.write('80242');