document.write (" 25123 ");