document.write (" 12555 ");