function writeplus () {
document.write("+");
}