document.write (" 25255 ");