document.write('08042');