document.write ("3096 ");