document.write (" 3812 ");