document.write (" 4194 ");