document.write('09142');