document.write (" 22512 ");