document.write (" 24255 ");