Edited syntax.js. Added properties.js