document.write (" 25220 ");