Mil gracias Gurrutello!!
Hice lo que me dijiste y aún seguía mal, probando descubrí que, además, debía modificar function positionmenu(){move(-232)} y así quedó ok. Sin tu ayuda no lo hubiese podido arreglar, muchísimas gracias y un gran abrazo desde Zaragoza, Miranda.