document.write (" 12425 ");