document.write("4090 ");