document.write (" 3792 ");