1.3 head bolts

Does any one know if head bolts should be changed on theses when doing a headgasket are they stretch bolts I should nt think they are just a normal bolt but just want to check so stretch type replace or normal don't replace anyone know 

I would buy new for the price of them. some vw 8v heads technically you can reuse them but if they've been on the engine for the life of the car so far I wouldnt risk it

I'm going to redo my head gasket and am also replacing my head bolts.

Don't worrie I've bought some new ones £6 lol don't even know why I asked really it's now cost me all of £22 to do the headgasket ha ha de-coked and new stem seals and adjusted tappers runs like a new one now (don't worrie changed cam belt and pump the other week another £26 bargain )