document.write (" 12255 ");