document.write (" 5114 ");