document.write (" 5194 ");