document.write (" 4193 ");