document.write (" 25472 ");