document.write (" 3819 ");