document.write('25006 ');