document.write ("4100 ");