Using pins D9 & D10 on the MDBT42Q

Thankyou @Gordon, that works... I've put in the extra semi-colons...

NRF.disconnect();setTimeout(function() { NRF.restart(function(){ LED.set();
poke32(0x4001e504,1);while(!peek32(0x4001e400)); // enable flash writing
poke32(0x1000120c,0xfffffffe);while(!peek32(0x4001e400)); // NFC pins as GPIO
poke32(0x4001e504, 0);while(!peek32(0x4001e400)); // disable flash writing
});}, 1000);