document.write (" 4114 ");