document.write (" 25002 ");