document.write (" 3781 ");