document.write (" 12522 ");