document.write("

1.40");