document.write (" 11500 ");