document.write (" 25232 ");