document.write (" 25218 ");