tidied up arabic.js